higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Higher symplectic geometry is the generalization of symplectic geometry to the context of higher geometry.
It involves two kinds of generalizations:
the symplectic form generalizes from a 2-form to a form of arbitrary arity. This aspect is called multisymplectic geometry.
the base manifold is generalized to a smooth ∞-groupoid or ∞-Lie algebroid. For binary symplectic forms this is called a symplectic Lie n-algebroid.
In the full higher symplectic geometry both of these aspects are unified: a multisymplectic -groupoid is a smooth ∞-groupoid equipped with a differential n-form on smooth ∞-groupoids satisfying some condition.
Examples of higher symplectic geometries arise naturally as the covariant phase spaces “over the point” or “in top codimension” (in the sense of extended topological quantum field theory) in systems of ∞-Chern-Simons theory: their -multisymplectic form is the invariant polynomial that defines the theory.
Let be an L-∞ algebroid. For , an n-plectic form or multisymplectic form of arguments on is
an invariant polynomial on which is -linear (takes arguments):
such that the contraction morphism
in injective.
If is a Lie 0-algebroid (over a smooth manifold) then it is simply that smooth manifold, . In this case is the ordinary de Rham complex and an invariant polynomial is a closed differential form of positive degree.
In this case an -plectic form on is a closed -form on such that for every vector field we have
Every invariant polynomial induces an ∞-Chern-Simons theory action functional
The variation of that functional is
Therefore the condition that the invariant polynomial is -plectic amounts to saying that has no spurious global symmetries.
(…)
duality between algebra and geometry
in physics:
∞-Chern-Simons theory from binary and non-degenerate invariant polynomial
(adapted from Ševera 00)
Discussion of what here we call “higher symplectic geometry over Lie 0-algebroids” (multisymplectic geometry) is in
For more references see multisymplectic geometry.
Last revised on February 8, 2013 at 02:02:25. See the history of this page for a list of all contributions to it.